Optimal. Leaf size=110 \[ -\frac {1}{b^2 d x}-\frac {c^2}{b^2 (c d-b e) (b+c x)}-\frac {(2 c d+b e) \log (x)}{b^3 d^2}+\frac {c^2 (2 c d-3 b e) \log (b+c x)}{b^3 (c d-b e)^2}+\frac {e^3 \log (d+e x)}{d^2 (c d-b e)^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.08, antiderivative size = 110, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.053, Rules used = {712}
\begin {gather*} \frac {c^2 (2 c d-3 b e) \log (b+c x)}{b^3 (c d-b e)^2}-\frac {\log (x) (b e+2 c d)}{b^3 d^2}-\frac {c^2}{b^2 (b+c x) (c d-b e)}-\frac {1}{b^2 d x}+\frac {e^3 \log (d+e x)}{d^2 (c d-b e)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 712
Rubi steps
\begin {align*} \int \frac {1}{(d+e x) \left (b x+c x^2\right )^2} \, dx &=\int \left (\frac {1}{b^2 d x^2}+\frac {-2 c d-b e}{b^3 d^2 x}-\frac {c^3}{b^2 (-c d+b e) (b+c x)^2}-\frac {c^3 (-2 c d+3 b e)}{b^3 (-c d+b e)^2 (b+c x)}+\frac {e^4}{d^2 (c d-b e)^2 (d+e x)}\right ) \, dx\\ &=-\frac {1}{b^2 d x}-\frac {c^2}{b^2 (c d-b e) (b+c x)}-\frac {(2 c d+b e) \log (x)}{b^3 d^2}+\frac {c^2 (2 c d-3 b e) \log (b+c x)}{b^3 (c d-b e)^2}+\frac {e^3 \log (d+e x)}{d^2 (c d-b e)^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.06, size = 111, normalized size = 1.01 \begin {gather*} -\frac {1}{b^2 d x}+\frac {c^2}{b^2 (-c d+b e) (b+c x)}+\frac {(-2 c d-b e) \log (x)}{b^3 d^2}+\frac {\left (2 c^3 d-3 b c^2 e\right ) \log (b+c x)}{b^3 (-c d+b e)^2}+\frac {e^3 \log (d+e x)}{d^2 (c d-b e)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.50, size = 111, normalized size = 1.01
method | result | size |
default | \(\frac {c^{2}}{\left (b e -c d \right ) b^{2} \left (c x +b \right )}-\frac {c^{2} \left (3 b e -2 c d \right ) \ln \left (c x +b \right )}{\left (b e -c d \right )^{2} b^{3}}-\frac {1}{b^{2} d x}+\frac {\left (-b e -2 c d \right ) \ln \left (x \right )}{d^{2} b^{3}}+\frac {e^{3} \ln \left (e x +d \right )}{d^{2} \left (b e -c d \right )^{2}}\) | \(111\) |
norman | \(\frac {\frac {\left (b c e -2 c^{2} d \right ) c \,x^{2}}{d \,b^{3} \left (b e -c d \right )}-\frac {1}{b d}}{x \left (c x +b \right )}+\frac {e^{3} \ln \left (e x +d \right )}{d^{2} \left (b^{2} e^{2}-2 b c d e +d^{2} c^{2}\right )}-\frac {\left (b e +2 c d \right ) \ln \left (x \right )}{b^{3} d^{2}}-\frac {c^{2} \left (3 b e -2 c d \right ) \ln \left (c x +b \right )}{b^{3} \left (b^{2} e^{2}-2 b c d e +d^{2} c^{2}\right )}\) | \(154\) |
risch | \(\frac {-\frac {c \left (b e -2 c d \right ) x}{b^{2} d \left (b e -c d \right )}-\frac {1}{b d}}{x \left (c x +b \right )}-\frac {3 c^{2} \ln \left (c x +b \right ) e}{b^{2} \left (b^{2} e^{2}-2 b c d e +d^{2} c^{2}\right )}+\frac {2 c^{3} \ln \left (c x +b \right ) d}{b^{3} \left (b^{2} e^{2}-2 b c d e +d^{2} c^{2}\right )}+\frac {e^{3} \ln \left (-e x -d \right )}{d^{2} \left (b^{2} e^{2}-2 b c d e +d^{2} c^{2}\right )}-\frac {\ln \left (-x \right ) e}{d^{2} b^{2}}-\frac {2 \ln \left (-x \right ) c}{d \,b^{3}}\) | \(191\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.27, size = 183, normalized size = 1.66 \begin {gather*} \frac {{\left (2 \, c^{3} d - 3 \, b c^{2} e\right )} \log \left (c x + b\right )}{b^{3} c^{2} d^{2} - 2 \, b^{4} c d e + b^{5} e^{2}} + \frac {e^{3} \log \left (x e + d\right )}{c^{2} d^{4} - 2 \, b c d^{3} e + b^{2} d^{2} e^{2}} - \frac {b c d - b^{2} e + {\left (2 \, c^{2} d - b c e\right )} x}{{\left (b^{2} c^{2} d^{2} - b^{3} c d e\right )} x^{2} + {\left (b^{3} c d^{2} - b^{4} d e\right )} x} - \frac {{\left (2 \, c d + b e\right )} \log \left (x\right )}{b^{3} d^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 293 vs.
\(2 (115) = 230\).
time = 7.97, size = 293, normalized size = 2.66 \begin {gather*} -\frac {2 \, b c^{3} d^{3} x + b^{2} c^{2} d^{3} - {\left (b^{3} c x^{2} + b^{4} x\right )} e^{3} \log \left (x e + d\right ) + {\left (b^{3} c d x + b^{4} d\right )} e^{2} - {\left (3 \, b^{2} c^{2} d^{2} x + 2 \, b^{3} c d^{2}\right )} e - {\left (2 \, c^{4} d^{3} x^{2} + 2 \, b c^{3} d^{3} x - 3 \, {\left (b c^{3} d^{2} x^{2} + b^{2} c^{2} d^{2} x\right )} e\right )} \log \left (c x + b\right ) + {\left (2 \, c^{4} d^{3} x^{2} + 2 \, b c^{3} d^{3} x + {\left (b^{3} c x^{2} + b^{4} x\right )} e^{3} - 3 \, {\left (b c^{3} d^{2} x^{2} + b^{2} c^{2} d^{2} x\right )} e\right )} \log \left (x\right )}{b^{3} c^{3} d^{4} x^{2} + b^{4} c^{2} d^{4} x + {\left (b^{5} c d^{2} x^{2} + b^{6} d^{2} x\right )} e^{2} - 2 \, {\left (b^{4} c^{2} d^{3} x^{2} + b^{5} c d^{3} x\right )} e} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.47, size = 202, normalized size = 1.84 \begin {gather*} \frac {{\left (2 \, c^{4} d - 3 \, b c^{3} e\right )} \log \left ({\left | c x + b \right |}\right )}{b^{3} c^{3} d^{2} - 2 \, b^{4} c^{2} d e + b^{5} c e^{2}} + \frac {e^{4} \log \left ({\left | x e + d \right |}\right )}{c^{2} d^{4} e - 2 \, b c d^{3} e^{2} + b^{2} d^{2} e^{3}} - \frac {{\left (2 \, c d + b e\right )} \log \left ({\left | x \right |}\right )}{b^{3} d^{2}} - \frac {b c^{2} d^{3} - 2 \, b^{2} c d^{2} e + b^{3} d e^{2} + {\left (2 \, c^{3} d^{3} - 3 \, b c^{2} d^{2} e + b^{2} c d e^{2}\right )} x}{{\left (c d - b e\right )}^{2} {\left (c x + b\right )} b^{2} d^{2} x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.52, size = 143, normalized size = 1.30 \begin {gather*} \frac {\ln \left (b+c\,x\right )\,\left (2\,c^3\,d-3\,b\,c^2\,e\right )}{b^5\,e^2-2\,b^4\,c\,d\,e+b^3\,c^2\,d^2}-\frac {\frac {1}{b\,d}-\frac {x\,\left (2\,c^2\,d-b\,c\,e\right )}{b^2\,d\,\left (b\,e-c\,d\right )}}{c\,x^2+b\,x}+\frac {e^3\,\ln \left (d+e\,x\right )}{d^2\,{\left (b\,e-c\,d\right )}^2}-\frac {\ln \left (x\right )\,\left (b\,e+2\,c\,d\right )}{b^3\,d^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________